Requirements Management for Automotive Systems Development

[1]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[2]  Ingolf Krüger,et al.  Requirements specification of an automotive system with hybrid sequence charts , 1999, Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.