Lessons learned from a trial application of requirements modeling using statecharts | IEEE Conference Publication | IEEE Xplore