A quantitative verification framework of SysML activity diagrams under time constraintsAbdelhakim Baouya, Samir Ouchani|Expert Systems with Applications|2015Cited by 14