A classification of real-time specifications complexity