System Specification and Design Languages | lit.salon