A formal approach to system level design: metamodels and unified design environments | IEEE Conference Publication | IEEE Xplore