See a collection of capability patterns. Unripe Proto Patterns (strainig the domain state model) Vulnerabilities in Synchronous IPC Designs is an interesting paper that raises and solves some novel problems.