Embedded systems specification and design languages | lit.salon