Azma binti Abdullah, Shaoying Liu. Hazard analysis for safety-critical systems using SOFL. In IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2013, Singapore, April 16-19, 2013. pages 133-140, IEEE, 2013. [doi]
Abstract is missing.