Hosung Song, Kevin J. Compton, William C. Rounds. SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. Electronic Notes in Theoretical Computer Science, 145:167-183, 2006. [doi]
@article{SongCR06,
title = {SPHIN: A model checker for reconfigurable hybrid systems based on SPIN},
author = {Hosung Song and Kevin J. Compton and William C. Rounds},
year = {2006},
doi = {10.1016/j.entcs.2005.10.011},
url = {http://dx.doi.org/10.1016/j.entcs.2005.10.011},
tags = {rule-based, C++},
researchr = {https://researchr.org/publication/SongCR06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {167-183},
}