Safety property verification of ESTEREL programs and applications to telecommunications software (1995)

by L J Jagadeesan, C Puchol, J E Von Olnhausen
Venue:Proc. 7th Conf. on Comp. Aided Verification