Integrated development environment for the multiple ambient calculus for modeling freight systems | IEEE Conference Publication | IEEE Xplore