1. Aceto, L., Birgisson, A., Ingolfsdottir, A., Mousavi, M.R.: Decompositional reasoning about the history of parallel processes. Technical Report CSR-10-17, TU/Eindhoven (2010)
2. Aceto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: The power of reachability testing for timed automata. TCS 300(1–3), 411–475 (2003)
3. Lecture Notes in Computer Science;L. Aceto,1999
4. Aceto, L., Ingolfsdottir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification, Cambridge (2007)
5. Andersen, H.R.: Partial model checking (extended abstract). In: LICS 1995, pp. 398–407. IEEE CS (1995)