View Consistency in Architectural Models of Dependable Systems. - Aleksandar Radjenovic (2008)