Configuration specification using a system structure language | IET Conference Publication | IEEE Xplore