A Java-based Formal Development Environment for Factory Communication Systems