What is a major limitation of state machine diagrams when used for large systems? a. They are not useful for modeling dynamic behavior. b. They cannot represent state transitions. c. They become overly complex and difficult to manage. d. They do not support any form of concurrency