Second International OTS-Based Development Methods Workshop | IEEE Conference Publication | IEEE Xplore