Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann. A static code analysis tool for control system software. In Yann-Gaël Guéhéneuc, Bram Adams, Alexander Serebrenik, editors, 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015. pages 459-463, IEEE, 2015. [doi]
Abstract is missing.