Title : 
Specification of Software Controlling a Discrete-Continuous Environment
         
        
            Author : 
Friesen, V. ; Jahnichen, S. ; Weber, Matthias
         
        
            Author_Institution : 
Technische Universitat Berlin
         
        
        
        
        
        
            Keywords : 
Embedded systems, discrete-continuous systems, object-oriented specification; Analytical models; Automatic control; Boilers; Continuous time systems; Differential equations; Embedded software; Embedded system; Object oriented modeling;
         
        
        
        
            Conference_Titel : 
Software Engineering, 1997., Proceedings of the 1997 International Conference on
         
        
            Conference_Location : 
Boston, MA, USA
         
        
        
            Print_ISBN : 
0-89791-914-9
         
        
        
            DOI : 
10.1109/ICSE.1997.610281