Thomas Lambolais, Anne-lise Courbis, Hong-Viet Luong, Christian Percebois. IDF: A framework for the incremental development and conformance verification of UML active primitive components. Journal of Systems and Software, 113:275-295, 2016. [doi]
Abstract is missing.