Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels. - Allan I. McInnes; Brandon K. Eames; Russell J. Grover (IEEE Trans. Syst. Man Cybern. Part A, 2011)