Maik Wurdel, Daniel Sinnig, Peter Forbrig. Task Model Refinement with Meta Operators. In T. C. Nicholas Graham, Philippe A. Palanque, editors, Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Volume 5136 of Lecture Notes in Computer Science, pages 300-305, Springer, 2008. [doi]
Abstract is missing.