array(3) { [0]=> int(1709) [1]=> string(205) "Baranov S., Kotlyarov V., Weigert T. Varifiable Coverage Criteria For Automated Tesdting. SDL2011: Integrating System and Software Modeling. Lecture Notes in Computer Science. 2012. 7083. C. 79-89" [2]=> int(30) }