Formal Methods for Distributed System Development