A software environment for the specification and analysis of problems of coordination and concurrency | IEEE Journals & Magazine | IEEE Xplore