FADIS: an integrated development environment for automatic design and implementation of FLC | IEEE Conference Publication | IEEE Xplore