Abhinandan Panda Srinivas Pinisetty Partha S. Roop Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. 169-179 2022 ISBRA https://doi.org/10.1007/978-3-031-23198-8_16 conf/isbra/2022 db/conf/isbra/isbra2022.html#PandaPR22