System design and software development methodologies in the TROPICO system | IEEE Conference Publication | IEEE Xplore