Text this: Modelling operating system structures by timed stream processing functions.