Defining Bad Smells and Automating Their Detection in Goal-Oriented Requirement Analysis Method iStar | IEEE Conference Publication | IEEE Xplore