Towards a real-time distributed systems annex in Ada. - José Javier Guitiérrez García; Michael González Harbour (IRTAW, 2000)