Integrated development environment for the multiple ambient calculus for modeling freight systems. - Toru Kato 002; Manami Shimazu; Masahiro Higuchi; Hiroshi Ohyama (CASE, 2016)