Functional system specification by Astrid Joosten