Clemens Ballarin. Towards monitoring temporal properties with JamaicaVM. In Fridtjof Siebert, Kelvin Nilsen, editors, The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '13, Karlsruhe, Germany, October 9-11, 2013. pages 89-95, ACM, 2013. [doi]
Abstract is missing.