by Johanna Nellen, Erika Ábrahám, Benedikt Wolters
Reference:
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata (Johanna Nellen, Erika Ábrahám, Benedikt Wolters), Chapter in Formalisms for Reuse and Systems Integration, Springer, 2015.
Bibtex Entry:
@incollection{nellen2015cegar, title={A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata}, author={Nellen, Johanna and {'A}brah{'a}m, Erika and Wolters, Benedikt}, booktitle={Formalisms for Reuse and Systems Integration}, pages={55--78}, year={2015}, publisher={Springer} }