Specifying Building Automation Systems wigh PROBanD, a Method Based on Prototyping, Reuse, and Object-orientation.