A Java-based formal development environment for factory communication systems | IEEE Conference Publication | IEEE Xplore