Complex system prototyping using environment abstraction | IEEE Conference Publication | IEEE Xplore