Environment for CAD and verification of self-tuning controllers. - Marek Kubalcik; Vladimir Bobal; Miroslav Maca (ALCOSP, 2007)