Kritikus rendszerek futási idejű ellenőrzése temporális minták alapján
Kritikus alkalmazások esetén gyakran felmerül az igény a viselkedés futásidejű monitorozására, valamint a helyességet és biztonságosságot érintő veszélyes szituációk esetén az aktív beavatkozásra.