1. Büchi, J.R.: Weak SO arithmetic and finite automata. Z. Math. Logik Grundlagen Math. 6, 66–92 (1960)
2. Cerna, D.: Space Complexity of LogicGuard Revisited. Technical report, RISC, JKU, Linz, October 2015
3. Cerna, D.M., Schreiner, W., Kutsia, T.: Space analysis of a predicate logic fragment for the specification of stream monitors. In: Davenport, J.H., Ghourabi, F. (eds.) 7th International Symposium on Symbolic Computation in Software Science. EPiC Computing, vol. 39, pp. 29–41 (2016)
4. Colombo, C., Pace, G.J., Schneider, G.: LARVA—safer monitoring of real-time Java programs (Tool Paper). In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp. 33–37, November 2009
5. D’Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166–174, June 2005