added LTL2LineNo in specCompiler and added IROS2013 paper example