View abstraction for systems with component identities - Lowe, G (FM 2018, 2018)