Add LSAT paper to landing page
Add LSAT tool paper to https://www.eclipse.org/lsat/, referring to https://ieeexplore.ieee.org/document/9551412.
Description: "Tool overview: B. van der Sanden, Y. Blankenstein et al., “LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems”, in IEEE 17th International Conference on Automation Science and Engineering, 2021"