Return to Article Details Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review Download Download PDF