@inproceedings(aspinall2000proof,
 author       = {David Aspinall},
 year         = {2000},
 title        = {Proof General: A generic tool for proof development},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {38--43},
 doi          = {10.1007/3-540-46419-0_3},
)
@inproceedings(fulton2015keymaera,
 author       = {Nathan Fulton and Stefan Mitsch and Jan-David Quesel and Marcus V{\"o}lp and Andr{\'e} Platzer},
 year         = {2015},
 title        = {KeYmaera X: An axiomatic tactical theorem prover for hybrid systems},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {527--538},
 doi          = {10.1007/978-3-319-21401-6_36},
)
@inproceedings(leino2010dafny,
 author       = {K Rustan M Leino},
 year         = {2010},
 title        = {Dafny: An automatic program verifier for functional correctness},
 booktitle    = {International Conference on Logic for Programming Artificial Intelligence and Reasoning},
 organization = {Springer},
 pages        = {348--370},
 doi          = {10.1007/978-3-642-17511-4_20},
)
@inproceedings(masci-afford19,
 author       = {Paolo Masci},
 year         = {2019 (to appear)},
 title        = {Experiences on Streamlining Formal Methods Tools},
 booktitle    = {International Workshop on Practical Formal Verification for Software Dependability (AFFORD'19)},
)
@inproceedings(masci2015pvsio,
 author       = {Paolo Masci and Patrick Oladimeji and Yi Zhang and Paul Jones and Paul Curzon and Harold Thimbleby},
 year         = {2015},
 title        = {PVSio-web 2.0: Joining PVS to HCI},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {470--478},
 doi          = {10.1007/978-3-319-21690-4_30},
)
@inproceedings(masci2014formal,
 author       = {Paolo Masci and Yi Zhang and Paul Jones and Paul Curzon and Harold Thimbleby},
 year         = {2014},
 title        = {Formal verification of medical device user interfaces using PVS},
 booktitle    = {International Conference on Fundamental Approaches to Software Engineering},
 organization = {Springer},
 pages        = {200--214},
 doi          = {10.1007/978-3-642-54804-8_14},
)
@inproceedings(de2015lean,
 author       = {Leonardo de Moura and Soonho Kong and Jeremy Avigad and Van Doorn, Floris and Jakob von Raumer},
 year         = {2015},
 title        = {The Lean theorem prover (System Description)},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {378--388},
 doi          = {10.1007/978-3-319-21401-6_26},
)
@techreport(munoz2003rapid,
 author       = {Mu{\~n}oz, C{\'e}sar A},
 year         = {2003},
 title        = {Rapid prototyping in PVS},
 type         = {Technical Report},
 institution  = {{{NASA/CR-2003-212418, NIA Report No. 2003-03}}},
 url          = {https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20040046914.pdf},
)
@inproceedings(munoz2012,
 author       = {Mu{\~{n}}oz, C{\'e}sar A. and Ramiro A. Demasi},
 year         = {2012},
 title        = {Advanced Theorem Proving Techniques in PVS and Applications},
 editor       = {Bertrand Meyer and Martin Nordio},
 booktitle    = {Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {96--132},
 doi          = {10.1007/978-3-642-35746-6_4},
)
@inproceedings(owre1992pvs,
 author       = {Sam Owre and John M Rushby and Natarajan Shankar},
 year         = {1992},
 title        = {{PVS: A Prototype Verification System}},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {748--752},
 doi          = {10.1007/3-540-55602-8_217},
)
@techreport(pvs-system-guide,
 author       = {Sam Owre and Natarajan Shankar and John M Rushby and Stringer-Calvert, David WJ},
 year         = {1999},
 title        = {PVS system guide},
 type         = {Technical Report},
 institution  = {Computer Science Laboratory, SRI International, Menlo Park, CA},
 url          = {https://pvs.csl.sri.com/doc/pvs-system-guide.pdf},
)
@article(sosym19,
 author       = {M. Palmieri and C. Bernardeschi and P. Masci},
 year         = {2019},
 title        = {A Framework for FMI-based Co-Simulation of Human-Machine Interfaces},
 journal      = {Software and Systems Modeling},
 doi          = {10.1007/s10270-019-00754-9},
)
@inproceedings(palmieri2017co,
 author       = {Maurizio Palmieri and Cinzia Bernardeschi and Paolo Masci},
 year         = {2018},
 title        = {Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study},
 editor       = {Antonio Cerone and Marco Roveri},
 booktitle    = {Software Engineering and Formal Methods},
 publisher    = {Springer International Publishing},
 pages        = {423--437},
 doi          = {10.1007/978-3-319-74781-1_29},
)
@inproceedings(passmore2017formal,
 author       = {Grant Olney Passmore and Denis Ignatovich},
 year         = {2017},
 title        = {Formal verification of financial algorithms},
 booktitle    = {International Conference on Automated Deduction},
 organization = {Springer},
 pages        = {26--41},
 doi          = {10.1007/978-3-319-63046-5_3},
)
@inproceedings(pit2016company,
 author       = {Pit-Claudel, Cl\'ement and Pierre Courtieu},
 year         = {2016},
 title        = {{Company-Coq: Taking Proof General one step closer to a real IDE}},
 booktitle    = {{CoqPL'16: The Second International Workshop on Coq for PL}},
 publisher    = {Zenodo},
 doi          = {10.5281/zenodo.44331},
)
@inproceedings(platzer2008keymaera,
 author       = {Andr{\'e} Platzer and Jan-David Quesel},
 year         = {2008},
 title        = {KeYmaera: A hybrid theorem prover for hybrid systems},
 booktitle    = {International Joint Conference on Automated Reasoning},
 organization = {Springer},
 pages        = {171--178},
 doi          = {10.1007/978-3-540-71070-7_15},
)
@article(RabeUITP2014,
 author       = {Florian Rabe},
 year         = {2014},
 title        = {{A Logic-Independent IDE}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {167},
 pages        = {48–60},
 doi          = {10.4204/eptcs.167.7},
)
@inproceedings(wenzel2012isabelle,
 author       = {Makarius Wenzel},
 year         = {2012},
 title        = {Isabelle/jEdit: A Prover IDE within the PIDE framework},
 booktitle    = {International Conference on Intelligent Computer Mathematics},
 organization = {Springer},
 pages        = {468--471},
 doi          = {10.1007/978-3-642-31374-5_38},
)
@inproceedings(wenzel2018isabelle,
 author       = {Makarius Wenzel},
 year         = {2018},
 title        = {Isabelle/PIDE after 10 years of development},
 booktitle    = {UITP workshop: User Interfaces for Theorem Provers},
 url          = {https://sketis. net/wp-content/uploads/2018/08/isabellepide-uitp2018.pdf},
)