Task Sequencing Language. Language for specifying sequencesof tasking events in Ada programs.
["Task Sequencing Language for Specifying Distributed AdaSystems", D.C. Luckham et al in PARLE: Parallel Architecturesand Langs Europe, LNCS 259, Springer 1987, pp.444-463].