The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha (FM, 2014)

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. - Ahmad Siyar Andisha; Martin Wehrle; Bernd Westphal (SPIN, 2015)

Ready for testing: ensuring conformance to industrial standards through formal verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha; Andreas Podelski (Formal Aspects Comput., 2016)