Euclase: A live development environment with constraints and FSMs | IEEE Conference Publication | IEEE Xplore