Component Design based on Model Executability | IEEE Conference Publication | IEEE Xplore