Hubaux, Jean-PierreDietrich, Falk2005-03-162005-03-16200010.5075/epfl-thesis-2141https://infoscience.epfl.ch/handle/20.500.14299/210815enModelling and testing object-oriented communication services with temporal logicthesis::doctoral thesis