Masci P, Furniss D, Curzon P, Harrison M, Blandford A.? 2012.??Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. Software Engineering for Resilient Systems. 7527:150-164.