Citations refer to the original publication, not to a Scieee localized version.
Durán Toro, A., Ruiz Cortés, A., & Toro Bonilla, M. (2001). An Automated Approach for Verification of Software Requirements. https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed
Durán Toro, Amador, et al. An Automated Approach for Verification of Software Requirements. 2001. https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed.
Durán Toro, Amador, Antonio Ruiz Cortés, and Miguel Toro Bonilla. An Automated Approach for Verification of Software Requirements. 2001. https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed.
Durán Toro, A., Ruiz Cortés, A. and Toro Bonilla, M. (2001) An Automated Approach for Verification of Software Requirements. Available at: https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed.
A. Durán Toro, A. Ruiz Cortés, and M. Toro Bonilla, “An Automated Approach for Verification of Software Requirements,” 2001. [Online]. Available: https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed
@misc{durantoro2001automated,
author = {Durán Toro, Amador and Ruiz Cortés, Antonio and Toro Bonilla, Miguel},
title = {An Automated Approach for Verification of Software Requirements},
year = {2001},
url = {https://idus.us.es/items/d3fa4ab7-f3f5-4070-a3d9-f7320f3bc2ed}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.