Title: Experiences Using Lightweight Formal Methods for Requirements Modeling