TSL-1
Task Sequencing Language. Language for specifying sequences of tasking events in Ada programs.
["Task Sequencing Language for Specifying Distributed Ada Systems", D.C. Luckham et al in PARLE: Parallel Architectures and Langs Europe, LNCS 259, Springer 1987, pp.444-463].