Design Automation for Embedded Systems · 2008 · 63 citations · 20 references
EngineeringComputer ScienceSystems EngineeringModel-based Systems EngineeringSystems DesignSystems ModelingDigital Integrated Circuit DesignEmbedded Systems DesignHardware Modeling For Digital SystemsIntegrated Circuit DesignSoftware ArchitectureSoftware DesignClass Diagram ModelingElectronic Circuit DesignSystem-level ModelingUml ModelingUnified Modeling Language (Uml) Class Diagrams
20
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
Specification and Description Language (SDL)
Itu-T · Medical Entomology and Zoology · 1999 · 655 citations