Applying formal methods to process innovation