selected publications academic article Attack Graph Modeling for Implantable Pacemaker. Biosensors. 10:14-14. 2020