Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul. Incremental verification of architecture specification language for real-time systems. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 215-222, IEEE Computer Society, 1997. [doi]
Abstract is missing.