Ákos Lédeczi Arpad Bakay Miklos Maroti Model-Integrated Embedded Systems. 99-115 http://link.springer.de/link/service/series/0558/bibs/1936/19360099.htm 2000 conf/iwsas/2000 IWSAS db/conf/iwsas/iwsas2000.html#LedecziBM00