Visual specification of actor configurations | IEEE Conference Publication | IEEE Xplore