A "coming and going" approach to specification construction: a scenario | IEEE Conference Publication | IEEE Xplore