Automatic Generation of Formal Intervention Plans Based on the SDA Representation Model | IEEE Conference Publication | IEEE Xplore