Overcoming software complexity by constructing abstraction hierarchies: the principles and applications | IEEE Conference Publication | IEEE Xplore