G.  Yaikhom, Atkinson, M., van Hemert, J., Corcho, O., and Krause, A., ?Validation and mismatch repair of workflows through typed data streams?, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 369, no. 1949, pp. 3285-3299, 2011.