An approach to refinement checking of SysML requirements. - Denis Makartetskiy; Riccardo Sisto (ETFA, 2011)