//@pausable do { directAntenna(); //@parallel { { //@nonblockable accept(rawdata:Rawdata); processRawdataAndGenerateTelemetry(); this.telemetryEmitter.ReceptionTelemetry( new Telemetry() ); } { //@nonblockable accept(telecommand:Telecommand); processTelecommandAndGenerateRawdata(); this.rawdataEmitter.ReceptionRawdata( new Rawdata() ); } } } while(true);