1. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
2. Amalthea: Deliverable: D3.1 concept for a partitioning/mapping/scheduling/timing-analysis tool. Technical report 3.4, Amalthea, January 2013
3. AMALTHEA4public Consortium: APP4MC Help Documentation (2017).
https://www.eclipse.org/app4mc/help/app4mc-0.8.0/index.html#section4.5.2.3
4. Amnell, T., Fersman, E., Pettersson, P., Yi, W., Sun, H.: Code synthesis for timed automata. Nord. J. Comput. 9(4), 269–300 (2002).
http://dl.acm.org/citation.cfm?id=779110.779112
5. Austin, T., Larson, E., Ernst, D.: Simplescalar: an infrastructure for computer system modeling. Computer 35(2), 59–67 (2002)