{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,10]],"date-time":"2026-05-10T08:17:30Z","timestamp":1778401050760,"version":"3.51.4"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T00:00:00Z","timestamp":1740355200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T00:00:00Z","timestamp":1740355200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,2,24]]},"DOI":"10.1109\/icmre64970.2025.10976290","type":"proceedings-article","created":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T17:21:59Z","timestamp":1746120119000},"page":"253-258","source":"Crossref","is-referenced-by-count":1,"title":["Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications"],"prefix":"10.1109","author":[{"given":"Adnan","family":"Rashid","sequence":"first","affiliation":[{"name":"School of Electrical Engg. and Computer Science, National University of Sciences and Technology (NUST),Islamabad,Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sa'ed","family":"Abed","sequence":"additional","affiliation":[{"name":"School of Electrical Engg. and Computer Science, National University of Sciences and Technology (NUST),Islamabad,Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[{"name":"College of Engg. and Petroleum, Kuwait University,Computer Engg. Depertment,Kuwait City,Kuwait"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","event":{"name":"2025 11th International Conference on Mechatronics and Robotics Engineering (ICMRE)","location":"Lille, France","start":{"date-parts":[[2025,2,24]]},"end":{"date-parts":[[2025,2,26]]}},"container-title":["2025 11th International Conference on Mechatronics and Robotics Engineering (ICMRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10976235\/10976236\/10976290.pdf?arnumber=10976290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T17:38:38Z","timestamp":1747071518000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10976290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,24]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/icmre64970.2025.10976290","relation":{},"subject":[],"published":{"date-parts":[[2025,2,24]]}}}