The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design | IEEE Conference Publication | IEEE Xplore