1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Principles of Model Checking;Baier,2008
3. Compositional optimization of discrete event systems;Hagebring,2018
4. Hagebring, F. and Lennartson, B. (2019). Time-optimal control of large-scale systems of systems using compositional optimization. Discrete Event Dynamic Systems. doi: 10.1007/s10626-019-00290-0.
5. Planning under abstraction within a supervisory control context;Hill,2016