Samir Ouchani Otmane Aït Mohamed Mourad Debbabi A property-based abstraction framework for SysML activity diagrams. 328-343 2014 56 Knowl. Based Syst. https://doi.org/10.1016/j.knosys.2013.11.016 https://www.wikidata.org/entity/Q57920710 db/journals/kbs/kbs56.html#OuchaniMD14