Le modèle synchrone et le modèle asynchrone offrent la possibilité de spécifier des systèmes critiques comme les systèmes réactifs, les systèmes embarqués,...qui sont souvent utilisés dans les nouveaux domaines technologiques, l'industrie légère traditionnel, et l'industrie lourde traditionnel, où une erreur de programmation peut entraîner à de vraies catastrophes...