Formal Methods for Industrial Critical Systems: A Survey of ...
Stefania Gnesi
M. G. Hinchey, J. L. Rash, and C. A. Rouff. Towards an automated development methodology for dependable systems with application to sensor networks. In Proceedings of the IEEE Workshop on Information Assurance in Wireless Sensor ...