Structured testing of information systems by Erik van Veenendaal & Martin Pol