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}
}