Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons