Title: A new approach to the development and maintenance of industrial sequence logic