Initial commit after project refactored from UnreliableClock to UnreliableAlarm