Specification and Validation of Distributed IP-Based Designs with JavaCAD