A. Faithfull, G. Perrone, and T. Hildebrandt, “Big Red: A Development Environment for Bigraphs”, ECEASST, vol. 61, Jun. 2013.