GitHub repository: xiaoyaooo/rtamt
Description: Specification-based real-time monitoring library