US20080243732A1 - Form-Based User Interface Tool for Specifying Time-Based, Distributed Algorithms for Distributed Systems