Time Abstraction by Nona