I think I found a second design-method to investigate. There's a really interesting article on using Haskell as a high-level design language for Co-Design.


During the last weeks I found a number of papers, and it's very useful to spent a whole day only reading them.