Accepted paper on JCTC