Modular design and the importance of models of computation Bart Kienhuis, Leiden University, LIACS Computer Systems Group Based on the presentation given.