Specification by Example (SBE) Foundations