Definity® ProLogix† solutions rapid development | Nokia Bell Labs Journals & Magazine | IEEE Xplore