An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification | IEEE Conference Publication | IEEE Xplore