Model Check - Elementi di interconnessione