Modeling and Verifying Hybrid dynamic systems using checkmate (2000)

by B I Silva
Venue:In: Proc. 4th International Conference on Automatic of Mixed Processes: Hybrid Dynamic Systems