Modeling and verifying hybrid dynamic systems using CheckMate (2000)

by B I Silva, K Richeson, B H Krogh, A Chutinan
Venue:In ADPM