A Case Study: Applying Lyra in Modeling S60 Camera Functionality | IEEE Conference Publication | IEEE Xplore