ca6c519142e1738e70d289ce5c25b9f14e215739  Mons_generatese_LTLider.pdf