Gerhard Fohler, Christian Huber. Integration of RTL and precedence graphs with a static scheduler as verifier. In Sixth Euromicro Workshop on Real-Time Systems, RTS 1994, Vaesteraas, Sweden, June 15-17, 1994. Proceedings. pages 22-25, IEEE, 1994. [doi]
Abstract is missing.