Publication

Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic