Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael Butler. Systematic Development of Control Designs via Formal Refinement. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. pages 143-148, SciTePress, 2013. [doi]
Abstract is missing.