Figure: LOTOS example