Model Check - Interconnecting Elements