Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky. Patterns for Refinement Automation. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 70-88, Springer, 2009. [doi]
Abstract is missing.