Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
Generating embedded software from hierarchical hybrid models
LCTES, 2003.
@inproceedings{LCTES-2003-AlurIKLS, author = "Rajeev Alur and Franjo Ivancic and Jesung Kim and Insup Lee and Oleg Sokolsky", booktitle = "{Proceedings of the Fourth Conference on Languages, Compilers, and Tools for Embedded Systems}", doi = "10.1145/780732.780756", isbn = "1-58113-647-1", pages = "171--182", publisher = "{ACM}", title = "{Generating embedded software from hierarchical hybrid models}", year = 2003, }