The Role Of Analogy In Specification Derivation | IEEE Conference Publication | IEEE Xplore