Automated Multi-paradigm Analysis of Extended and Layered Queueing Models with LINE