Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini. On requirements verification for model refinements. In 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013. pages 62-71, IEEE, 2013. [doi]