Oh, and I use Beer Smith. It's a good program for formulating recipes like Pro Mash. What you're talking about is some kind of brewery automation s/w and I haven't heard of a commercially available program for that. Like TheFlyingBeer said, most people probably write that s/w themselves.