CE Gomez, JC Pascal, P Esteban, Y Deleris… - … 2010, Embedded Real …, 2010 - hal.science
One of the issues related to systems design is the early verification in first design steps:
system specifications verification. Nowadays, it is common to use text-based specifications …