Effects of Abstraction in Stimulus Generation of Layered Protocols within OVM