S. Schaffer, P. Sereda, M. Katz, M. Eder, and G. Kartnig, “Development of a methodology for the systematic description of automatic storage systems”, ljproc, no. 21, Oct. 2025.