A knowledge base approach to the specification of real time system requirements | IET Conference Publication | IEEE Xplore