Christine Choppy: Formal Specifications, Prototyping and Integration Tests. ESEC 1987: 172-179