Towards a behavioral description of ODL | IEEE Conference Publication | IEEE Xplore