458	  Butler, Michael  (2012) Abstraction, Refinement and Decomposition for Systems Engineering.  [Teaching Resource]    (Unpublished)