A finite statemachine-based language and supporting software for Industrial Control and Automation