On the Formal Specification of Automata- based Programs via Specification Patterns Spring/Summer Young Researchers' Colloquium on Software Engineering.
On the Formal Specification of Automata-based Programs via Specification Patterns