Language features that aid the development of reliable, maintainable control system software