Formal description of real-time systems using SDL | IEEE Conference Publication | IEEE Xplore