Lutess: testing environment for synchronous software (1998)

by L du Bousquet, F Ouabdesselam, J-L Richier, N Zuanon
Venue:In Tool support for System Specification Development and Verification. Advances in Computing Science