On the formal interpretation and behavioural consistency checking of SysML blocks. - Jacobs, Jaco; Simpson, Andrew (Software & Systems Modeling, 2017)