2018 Forum on Specification & Design Languages (FDL) - IEEE 2018 Proceeding ISSN: 978-1-5386-6418-6 978-1-5386-6419-3 Subjects--Topical Terms: Computing and ProcessingEngineering Profession