An integrated methodological approach to TLC software development | IEEE Conference Publication | IEEE Xplore