- Model should incorporate function mode information (where mode is discrete changes in state) to automatically determine the phases of operation - Fxnblock/Component classes should let one associate failure modes with operational modes in addition to/rather than phases - Need more infrastructure for modes--visualizations of modes over time (e.g. overlaid on behavior graphs) and just the modes of the system at large