1. AFNOR, Standard NFC 46-601 to 605: Bus FIP pour échange d'information entre transmetteur, actionneur et automate, 1990
2. P. Ashkar, symbolic execution of LOTOS specifications, Master's Thesis, University of Ottawa, Canada, 1992
3. Automotive electronics: getting in gear for the 90s and beyond;Auzins;IEEE Circuits & Devices Magazine,1994
4. A bus instrumentation protocol specified in LOTOS;Azema,1990
5. Introduction to the ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987