Blanke page 156 -172 Detectability Isolability
Activity
Implementation Monitorablity #2