@inproceedings{Abraham_Mumm,
    doi = {10.1109/iceccs.2001.930163},
    url = {https://doi.org/10.1109%2Ficeccs.2001.930163},
    publisher = {{IEEE} Comput. Soc},
    author = {E. Abraham-Mumm and U. Hannemann and M. Steffen},
    title = {Verification of hybrid systems: formalization and proof rules in {PVS}},
    booktitle = {Proceedings Seventh {IEEE} International Conference on Engineering of Complex Computer Systems}
}

@inproceedings{Abraham_Mumm, doi = {10.1109/iceccs.2001.930163}, url = {https://doi.org/10.1109%2Ficeccs.2001.930163}, publisher = {{IEEE} Comput. Soc}, author = {E. Abraham-Mumm and U. Hannemann and M. Steffen}, title = {Verification of hybrid systems: formalization and proof rules in {PVS}}, booktitle = {Proceedings Seventh {IEEE} International Conference on Engineering of Complex Computer Systems} }