Cross-link Interference Modeling in 6G Millimeter Wave and Terahertz LEO Satellite Communications