Title: Cleanroom Case Study in the Software Engineering Laboratory