[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.