Faithfull, A.; Perrone, G.; Hildebrandt, T. Big Red: A Development Environment for Bigraphs. eceasst 2013, 61.