# Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets

> Research article (Journal of Medical Systems, 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2566649087](https://www.wikidata.org/wiki/openalex:W2566649087)  
**Source**: https://4ort.xyz/entity/runtime-verification-of-pacemaker-functionality-using-hierarchical-fuzzy-colored-petri-nets