SystemModeler 4 is a physical modeling and simulation environment for cyber-physical systems. Using drag-and-drop from a large selection of built-in and expandable modeling libraries, users can build multi-domain models of their complete system. Adding Mathematicaprovides a fully integrated environment for analyzing, understanding and quickly iterating system designs. Features include a library store with both free and paid model libraries that are verified to work with SystemModeler, model creation support from Mathematica, and Linux support. Users can automatically create models from equations or control system models, create structured models by connecting existing components, or combine both approaches and create components from equations and interfaces and connect them in hierarchies. Objects use model diagrams as their visual representation; diagrams either show the structure of connected models or an icon and can be used together with other graphics, as well as animated to show system behavior.