@incollection{
year={2014},
isbn={978-3-319-06409-3},
booktitle={FM 2014: Formal Methods},
volume={8442},
series={Lecture Notes in Computer Science},
editor={Jones, Cliff and Pihlajasaari, Pekka and Sun, Jun},
doi={10.1007/978-3-319-06410-9_44},
title={The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification},
url={http://dx.doi.org/10.1007/978-3-319-06410-9_44},
publisher={Springer International Publishing},
author={Feo-Arenis, Sergio and Westphal, Bernd and Dietsch, Daniel and Muñiz, Marco and Andisha, Ahmad_Siyar},
pages={658-672},
language={English}
}