J. Jacobs and A. Simpson.
" On the Formal Interpretation of SysML Blocks Using a Safety Critical Case Study", in <em>Proceedings of the 8th Brazilian Symposium on Software Components, Architectures, and Reuse</em>, Maceió/AL, 2014, pp. 95-104.