Supporting the analyst when reasoning on requirements specifications for real-time and distributed systems | IEEE Conference Publication | IEEE Xplore