A formal model for the TIMESPACE software - Pouyioutas, Philippos (Array, 2006)