Papers about CASL-LTL

G. Reggio, E. Astesiano, C. Choppy CASL-LTL, a CASL extension for dynamic systems, Summary, Version 1, 8 August 2003 ps pdf

The intended semantics is described in the above Summary, and details on the Labelled Transition Logic (LTL) are available in:

Large case studies in CASL-LTL are available in: CASL-LTL was also used to present the semantics of some parts of UML: