SysML elevator

• Sparx enterprise architect SysML interactive simulation by Pragmatic Cohesion Consulting on May 01, 2013

This video illustrates how to use Sparx Systems Enterprise Architect SysML Simulation Features with an interactive User Interface. ..

• TEPE: A SysML Language for Time-Constrained Property Modeling and Formal Verification Daniel Knorreck, Ludovic Apvrill
• Survey, Approach and Examples of Modeling Variants in Industrial Automation C.R. Maga, N. Jazdi

This paper discusses the state of the art in modeling variants and proposes a new approach based on SysML 
for modeling variants of an industrial automation system within a product line.

• An Approach for Modeling Variants of Industrial Automation Systems Dipl.-Ing. Camelia Maga, Dr.-Ing. Nasser Jazd
• Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems Pierre de Saqui-Sannes, Jérôme Hugues