@inproceedings{MAEY-ECRTS17, author = {Mohaqeqi, Morteza and Abdullah, Jakaria and Ekberg, Pontus and Yi, Wang}, title = {Refinement of Workload Models for Engine Controllers by State Space Partitioning}, booktitle = {Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS)}, pages = {11:1--11:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, isbn = {978-3-95977-037-8}, issn = {1868-8969}, year = {2017}, volume = {76}, editor = {Marko Bertogna}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, doi = {10.4230/LIPIcs.ECRTS.2017.11} }