Code generation for WSLAs using AXpect | IEEE Conference Publication | IEEE Xplore