@conference {3767,
	title = {Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems},
	booktitle = {Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790},
	year = {2000},
	month = {March},
	pages = {324--337},
	address = {Berlin, Germany},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/ISIS_3_0_2000_Towards_Pr.pdf},
	author = {Mosterman, Pieter and Biswas, Gautam}
}
