Modelling real-time systems requirements with Metaview | IEEE Conference Publication | IEEE Xplore