Using Control Logic Drivers for Automated Generation of System-level Portable Models. - Petr Bardonek; Marcela Zachariásová (DDECS, 2020)