Things that still remain to be done: Add references to design decisions at viewpoints (functional, concurrency), add minor design decisions, fix design decision tree