paper: added first version
model: finalized error handling
model: progress on LTLSPECS