Structural usability techniques for dependable HCI. - Andy Gimblett (2014)