The referenced paper below provides:

• A methodology for architecting, designing and documenting complex control systems

• This methodology utilizes the Systems Modeling Language (SysML) as a modeling and documentation language

• Provides ontological definitions of the concepts and relations in State Analysis

• Provides a mapping of State Analysis into a practical extension of SysML

• Includes following activities:
  • Define the Context
  • Creating State Effects Diagram as ibd
  • Creating State Effects Models as Parametrics
  • Goal Elaborations with use cases
  • Architectural Diagrams
• Tool vendor independent methodology

• David A. Wagner, Nicolas Rouquette, Matthew B. Bennett, Steven Jenkins, Robert Karban, Michel Ingham An Ontology for State Analysis: Formalizing the Mapping to SysML], JPL, 2012.

Click Here