LW Li, D Genius,
L Apvrille - … 2017, Porto, Portugal, February 19-21, 2017 …, 2018 - Springer
With the growing complexity of embedded systems, a systematic design process and tool
are vital to help designers assure that their design meets specifications. The design of an …