Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama: Integrated development environment for the multiple ambient calculus for modeling freight systems. CASE 2016: 367-372