Model-based engineering of embedded systems : the SPES 2020 methodology - Model-based... (Springer, 2012)
yzd,2/nr,c.1-2