lotos

n.

忘忧树或其果实，莲属植物，埃及白睡莲；神食果；

Verifying ET-LOTOS programmes with KRONOS
Lotos specifications, their implementations and their tests
An introduction to LOTOS: learning by examples
The formal description technique LOTOS
Transformations and Semantics for LOTOS
Compilation and verification of LOTOS specifications
LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior
Introduction to the ISO specification language LOTOS
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL