[1] MobileSat is a registered trademark of Optus Communications Pty. Ltd.

[2] These tasks are very simple and are called passive tasks allowing a very efficient implementation. Most Ada kernels have this facility. Ada 95 has protected types providing the equivalent facility.