Text this: Design and process metamodels for modelling and verification of safety-related software applications in smart building systems