On the Development of Reactive Systems

著者: David Harel, Amir Pnueli - Logics and Models of Concurrent Systems 1984 被引用: 836