Formal Methods for Engineering Special-Purpose Parallel Systems