The application of a formal development method to a parallel machine environment