@article(bex2010hybrid,
 author       = "Floris~J. Bex and Peter~J. van Koppen and Henry Prakken and Bart Verheij",
 year         = "2010",
 title        = "A hybrid formal theory of arguments, stories and criminal evidence",
 journal      = "Artificial Intelligence and Law",
 volume       = "18",
 number       = "2",
 pages        = "123--152",
 doi          = "10.1007/s10506-010-9092-x",
)
@inproceedings(Design-Challenge-IMD,
 author       = "Wayne Burleson and Shane~S. Clark and Benjamin Ransford and Kevin Fu",
 year         = "2012",
 title        = "Design Challenges for Secure Implantable Medical Devices",
 booktitle    = "Proceedings of the 49th Annual Design Automation Conference",
 address      = "San Francisco, California, USA",
 doi          = "10.1145/2228360.2228364",
)
@article(carrier2006categories,
 author       = "Brian~D. Carrier and Eugene~H. Spafford",
 year         = "2006",
 title        = "Categories of digital investigation analysis techniques based on the computer history model",
 journal      = "Digital Investigation Journal",
 volume       = "3",
 number       = "S",
 pages        = "121--130",
 doi          = "10.1016/j.diin.2006.06.011",
)
@inproceedings(Trusted2013,
 author       = "Nourhene Ellouze and Mohamed Allouche and Habib~Ben Ahmed and Slim Rekhis and Noureddine Boudriga",
 year         = "2013",
 title        = "Securing Implantable Cardiac Medical Devices: Use of radio frequency energy harvesting",
 booktitle    = "Proceedings of the Third International Workshop on Trustworthy Embedded Devices, in conjunction with with the ACM Conference on Computer \& Communications Security",
 address      = "Berlin, Germany",
 doi          = "10.1145/2517300.2517307",
)
@inproceedings(Cyber-Risk,
 author       = "Sarbari Gupta",
 year         = "2012",
 title        = "Implantable Medical Devices - Cyber Risks and Mitigation Approaches",
 booktitle    = "Proceedings of the Cybersecurity in Cyber-Physical Workshop",
 address      = "The National Institute of Standards and Technology (NIST), US",
)
@inproceedings(zero-power,
 author       = "Daniel Halperin and Thomas~S. Heydt-Benjamin and Benjamin Ransford and Shane~S. Clark and Benessa Defend and Will Morgan and Kevin Fu and Tadayoshi Kohno and MD~William H.~Maisel",
 year         = "2008",
 title        = "Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses",
 booktitle    = "Proceedings of the 2008 IEEE Symposium on Security and Privacy",
 address      = "Oakland, California",
 doi          = "10.1109/SP.2008.31",
)
@article(Sec-Privacy-IMD,
 author       = "Daniel Halperin and Tadayoshi Kohno and Thomas~S. Heydt-Benjamin and Kevin Fu and William~H. Maisel",
 year         = "2008",
 title        = "Security and Privacy for Implantable Medical Devices",
 journal      = "Pervasive Computing, IEEE",
 volume       = "7",
 number       = "1",
 pages        = "30--39",
 doi          = "10.1109/MPRV.2008.16",
)
@book(BOOK,
 author       = "Fei Hu",
 year         = "2013",
 title        = "Telehealthcare Computing and Engineering: Principles and Design",
 publisher    = "CRC Press",
 doi          = "10.1201/b14770",
)
@article(keppens2006knowledge,
 author       = "Jeroen Keppens and Burkhard Schafer",
 year         = "2006",
 title        = "Knowledge Based Crime Scenario Modelling",
 journal      = "Expert Systems with Applications",
 volume       = "30",
 number       = "2",
 pages        = "203--222",
 doi          = "10.1016/j.eswa.2005.07.011",
)
@inproceedings(Pompeinsuline,
 author       = "Chunxiao Li and Anand Raghunathan and Niraj~K. Jha",
 year         = "2011",
 title        = "Hijacking an Insulin Pump: Security Attacks and Defenses for a Diabetes Therapy System",
 booktitle    = "Proceedings of the 13th IEEE International Conference on e-Health Networking Applications and Services",
 address      = "Columbia, USA",
 doi          = "10.1109/HEALTH.2011.6026732",
)
@article(Proarhythmia,
 author       = "Rafael Peinadoa and Jose~L Merinoa and Mar Gonzalez-Vasserota",
 year         = "2007",
 title        = "Life-Threatening Implantable Defibrillator-Induced Proarrhythmia",
 journal      = "Revista Espanola de Cardiologia (Rev Esp Cardiol) journal",
 volume       = "60",
 number       = "7",
 pages        = "770--771",
 doi          = "10.1016/S1885-5857(08)60012-2",
)
@article(rekhis2011logic,
 author       = "Slim Rekhis and Noureddine Boudriga",
 year         = "2011",
 title        = "Logic-based approach for digital forensic investigation in communication Networks",
 journal      = "computers \& security",
 volume       = "30",
 number       = "6",
 pages        = "376--396",
 doi          = "10.1016/j.cose.2011.02.002",
)
@inproceedings(Sec-IMD,
 author       = "Masoud Rostami and Wayne Burleson and Farinaz Koushanfar and Ari Juels",
 year         = "2013",
 title        = "Balancing Security and Utility in Medical Devices?",
 booktitle    = "Proceedings of the 50th Annual Design Automation Conference",
 address      = "Austin, TX, USA.",
 doi          = "10.1145/2463209.2488750",
)
@inproceedings(H2H,
 author       = "Masoud Rostami and Ari Juels and Farinaz Koushanfar",
 year         = "2013",
 title        = "Heart-to-Heart (H2H): Authentication for Implanted Medical Devices",
 booktitle    = "Proceedings of the Third International Workshop on Trustworthy Embedded Devices, in conjunction with with the ACM Conference on Computer \& Communications Security",
 address      = "Berlin, Germany",
 doi          = "10.1145/2508859.2516658",
)
@inproceedings(MICS,
 author       = "Huseyin~S. Savci and Ahmet Sula and Zheng Wang and Numan~S. Dogan and Ercument Arvas",
 year         = "2005",
 title        = "MICS transceivers: regulatory standards and applications [medical implant communications service]",
 booktitle    = "Proceedings of IEEE SoutheastCon 2005",
 address      = "Fort. Lauderdale, FLorida, USA",
 doi          = "10.1109/SECON.2005.1423241",
)
@article(Practice-forensic,
 author       = "D.~Noel Sims and Neil~E.I. Langlois and Roger~W. Byard",
 year         = "2013",
 title        = "An approach to peer review in forensic pathology",
 journal      = "Journal of Forensic and Legal Medicine",
 volume       = "20",
 number       = "5",
 pages        = "402--403",
 doi          = "10.1016/j.jflm.2013.02.010",
)
@inproceedings(Bayesian-Network,
 author       = "Charlotte Vlek and Henry Prakken and Silja Renooij and Bart Verheij",
 year         = "2013",
 title        = "Modeling Crime Scenarios in a Bayesian Network",
 booktitle    = "Proceedings of the 14th International Conference on AI and Law (ICAIL 2013)",
 address      = "Rome, Italy",
 doi          = "10.1145/2514601.2514618",
)
@article(Exple-Scenario,
 author       = "Dirk Vollmann and Lars L\"uthje and Stefan Vonhof and Christina Unterberg",
 year         = "2005",
 title        = "Inappropriate therapy and fatal proarrhythmia by an implantable cardioverter-defibrillator",
 journal      = "The official journal of the Heart Rhythm",
 volume       = "2",
 number       = "3",
 pages        = "307--309",
 doi          = "10.1016/j.hrthm.2005.02.193",
)