BDL: a specialized language for per-object reactive control | IEEE Journals & Magazine | IEEE Xplore