Krill: A Process Control and Automation Platform