An Eclipse-Based Editor to Support LOTOS Newcomers | IEEE Conference Publication | IEEE Xplore