Elosztott beágyazott rendszerek formális modellek alapján történő fejlesztése paraméterezhető kódgenerálás segítségével