Process Algebra with Timing häftadEngelska, 2010