I'm looking for help with LOTOS. I want to create LOTOS specifications for a small system. So if you have any knowledge in this formal description technique please contact me.
## Deliverables
LOTOS specification of this small system
## Platform
LOTOS , LOLA