A Behavior-Driven Approach to Intent Specification for Software-Defined Infrastructure Management | IEEE Conference Publication | IEEE Xplore