Yi Deng Jiacun Wang Rakesh Sinha Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. 26- 1998 ICFEM http://dlib.computer.org/conferen/icfem/9198/pdf/91980026.pdf db/conf/icfem/icfem1998.html#DengWS98