Design and integrity of deterministic system architectures. - Richard Bartlett Smith (2007)