🚀 go-pugleaf

I am completing a tutorial paper on LOTOS.

In the last few pages, I would like to briefly mention some
particularly interesting "nonstandard" applications of the language.
By "nonstandard" I mean in areas other than protocols and
telephone systems.  For example, I have come across 
papers discussing applications to the specification of security
mechanisms, and to the specification of distributed operating
systems, however sometimes I did not think of writing down the
reference.

Please send me any references you might have in this area.
Do not bother writing if you don't have
a reference precise enough to allow me to trace it. 
 
Thank you.