Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets | IEEE Journals & Magazine | IEEE Xplore