Jane W.-S. Liu Chung Laung Liu Zhong Deng Too-Seng Tia Jun Sun 0002 Matthew F. Storch David Hull J. L. Redondo Riccardo Bettati A. Silberman Perts: a Prototyping Environment for Real-Time Systems. 161-177 1996 6 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194096000089 db/journals/ijseke/ijseke6.html#LiuLDTSSHRBS96