In addition to testing basic functionality with and without inconsistencies, should use the FSM framework to check for unexpected/error conditions.