Autofocus - a tool for distributed systems specification (1996)

by Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
Venue:In Proceedings FTRTFT’96 - Formal Techniques in RealTime and Fault-Tolerant Systems, volume 1135 of LNCS