Michael Butler. Mastering System Analysis and Design through Abstraction and Refinement. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 49-78, IOS Press, 2013. [doi]
Abstract is missing.