Experiments with formal methods in software engineering door N. Plat