Protective Wrapping of Off-the-Shelf Components. - Meine van der Meulen; Steve Riddle; Lorenzo Strigini; Nigel Patrick Jefferson (ICCBSS, 2005)

Dependable compositions : a formal approach. - Nigel Patrick Jefferson (2007)