Title: From requirements to specifications for hybrid systems
First published: 1996