Manoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael Butler. A mixed approach to rigorous development of control designs. In 2011 IEEE International Symposium on Computer-Aided Control System Design, CACSD 2013, Hyderabad, India, August 28-30, 2013. pages 7-12, IEEE, 2013. [doi]
Abstract is missing.