Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski. Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Asp. Comput., 28(3):499-527, 2016. [doi]
Abstract is missing.