D’Souza, Deepak and Matteplackel, Raj Mohan (2012) Compositional hierarchical monitoring automaton construction for LTL. In: Proceedings of 9th International Colloquium, September 24-27, 2012, Bangalore, India, pp. 16-29.
