From "Formal Methods" to System Modeling.

Published in: Formal Methods and Hybrid Real-Time Systems (2007)