Gabor Simko, Janos Sztipanovits: Active Monitoring using Real-time Metric Linear Temporal Logic Specifications. HEALTHINF 2012: 370-373