An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems.

Published in: Tool Support for System Specification, Development and Verification (1998)