A Knowledge Based Approach to Real Time Systems Modelling