1. 1Sysoft eRFP Proposal Evaluation, Business Intelligence, Software Package, Ver. 8.1.9, Sysoft Corporation, Whitehouse Station, NJ,2012.
2. Game-Based Model Checking for Reliable Autonomy in Space
3. 4Sysoft eRFP Contract management, Business Intelligence, Software Package, Ver. 2.0, Sysoft Corporation, Whitehouse Station, NJ,2012.