@misc{indiciae81198db69e74, title = {Requirements-driven Slicing of Simulink Models Using LLMs}, author = {Dipeeka Luitel and Shiva Nejati and Mehrdad Sabetzadeh}, year = {2024}, url = {https://arxiv.org/abs/2405.01695}, note = {Source identifier: 2405.01695} }