EyeArchitect has a section dedicated to their work with functional specifications.