An intermediate language for system engineering | IEEE Conference Publication | IEEE Xplore