L. P. M. Benders. TL: A System-Level Specification Language for System Analysis. In IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 96), March 11-15, 1996, Friedrichshafen, Germany. pages 244-251, IEEE Computer Society, 1996. [doi]
Abstract is missing.