A formal approach to testing lustre specifications (1997)

by I Parissis
Venue:In 1st International IEEE Conference on Formal Engineering Methods