Rick Reed ITU-T system design languages (SDL). 283-284 2003 42 Computer Networks 3 http://dx.doi.org/10.1016/S1389-1286(03)00243-3 db/journals/cn/cn42.html#Reed03