1. On visual formalisms;Harel;Commun ACM,1988
2. Test-driven development by example;Beck,2002
3. Behavior modification: The evolution of behavior-driven development;North;Better Softw,2006
4. Applying “design by contract”;Meyer;IEEE Comput,1992
5. On the computing power of statecharts;Lu,2011