Integrated environments for formally well-founded design and simulation of concurrent systems | IEEE Journals & Magazine | IEEE Xplore