On the Development of Reactive Systems

Authors: David Harel, Amir Pnueli - Logics and Models of Concurrent Systems 1984 cited by 836