ISoLA2022: obj MonitorSystem.System
%requires BufferModule
%requires ProducerModule
%requires ConsumerModule
%requires ProducerConsumerSystem
%Module BufferModule
%Module ConsumerModule
%Module ProducerConsumerSystem
%Module ProducerModule