Techniques for use case modeling in Fujaba | IEEE Conference Publication | IEEE Xplore